triviumlogichypothetical argumentshouse